From 584d06343263dd79481d91292722e60848840174 Mon Sep 17 00:00:00 2001 From: Jim Blandy Date: Sun, 16 May 1993 01:32:11 +0000 Subject: [PATCH] * xfaces.c (Fset_face_attribute_internal): Jolt redisplay, so it knows something has changed. --- src/xfaces.c | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/xfaces.c b/src/xfaces.c index 225e9939445..e450b3aa8e5 100644 --- a/src/xfaces.c +++ b/src/xfaces.c @@ -917,6 +917,17 @@ DEFUN ("set-face-attribute-internal", Fset_face_attribute_internal, UNBLOCK_INPUT; } + /* If we're modifying either of the frame's display faces, that + means that we're changing the parameters of a fixed face code; + since the color/font/whatever is changed but the face ID hasn't, + redisplay won't know to redraw the affected sections. Give it a + kick. */ + if (id == 0 || id == 1) + SET_FRAME_GARBAGED (f); + else + /* Otherwise, it's enough to tell it to redisplay the text. */ + windows_or_buffers_changed = 1; + return Qnil; } -- 2.30.2